COMMENT ⊗   VALID 00005 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\input memo.tex[let,jmc]
C00003 00003	\title{Open Problems in Formalizing Common Sense}
C00005 00004	\smallskip\centerline{Copyright \copyright\ \number\year\ by John McCarthy}
C00006 00005	kyoto.ab1[f88,jmc]	Abstract of Kyoto Commemorative Lecture
C00007 ENDMK
C⊗;
\input memo.tex[let,jmc]
\title{The Logic and Philosophy of Artificial Intelligence}
% kyoto.2[e88,jmc]/2p
\noindent Abstract: The lecture discusses the history and present
status of logic based approaches to artificial intelligence.  It
emphasizes topics on which I have worked.  These include the
formalization of common sense knowledge and reasoning, the notion
of epistemologically adequate formalism, the situation calculus
and formalized nonmonotonic reasoning.  The lecture will not go
into these topics deeply, since we don't want to presume previous
acquaintance with the topics.
\vfill
\title{Open Problems in Formalizing Common Sense}
\noindent Abstract: Approaching AI through logic requires logical
languages for formalizing common sense knowledge and reasoning.
So far, first order logic seems to allow adequate languages, but it is
much more difficult to determine adequate collections of functions,
predicates and domains for the variable.  On the reasoning side,
extensions to first order reasoning are needed.  In the first place,
nonmonotonic reasoning is required, and this has been under active
development in many countries since before 1980 resulting in many
formalisms.  This lecture discusses the present situation in nonmonotonic
reasoning, some notions of mental situation and mental action,
formalizing the notion of context and the relation of all this to
some problems of philosophy.
\smallskip\centerline{Copyright \copyright\ \number\year\ by John McCarthy}
\smallskip\noindent{This draft of \jobname\ TEXed on \jmcdate\ at \theTime}
\vfill\eject\end
kyoto.ab1[f88,jmc]	Abstract of Kyoto Commemorative Lecture